61. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
62. Foundations of algebraic specification and formal software development
پدیدآورنده : / D. (Donald) Sannella
کتابخانه: (هرمزکان)
موضوع : Computer science--Mathematics.,Software engineering.,Computer software--Development.
رده :
QA76
.
9
.
M35
S26
2012
63. Fundamentals of matrix-analytic methods /
پدیدآورنده : Qi-Ming He
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Matrix analytic methods.,Appl.Mathematics/Computational Methods of Engineering.,Computer Science.,Mathematical Modeling and Industrial Mathematics.,Mathematics of Computing.,Operation Research/Decision Theory.,Operations Research, Management Science.,Probability Theory and Stochastic Processes.
رده :
QA274
.
2
64. Fuzzy-Logik :
پدیدآورنده : von Gert Böhme.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Engineering.,Logic, Symbolic and mathematical.
65. Fuzzy Partial Differential Equations and Relational Equations
پدیدآورنده : edited by Masoud Nikravesh, Lotfi A. Zadeh, Victor Korotkikh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Differentiable dynamical systems.,Differential equations, Partial.,Engineering mathematics.,Engineering.
66. Graph Drawing and Network Visualization :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Data structures (Computer science). ; Software engineering. ; Algorithm Analysis and Problem Complexity. ; -Algorithms. ; Application software. ; Computer graphics. ; Computer science
67. Graph and Model Transformation
پدیدآورنده : \ Hartmut Ehrig...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03,Software engineering.,Categories (Mathematics),مهندسی ن‍رم اف‍زار ,رسته‌ها (ریاضیات)
رده :
QA
76
.
G7
2015
E-Book
,
68. Green's Functions and Finite Element
پدیدآورنده : / by Friedel Hartmann
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering,Computer science, Mathematics,Materials,Mechanical engineering,Electronic books
رده :
E-BOOK
69. Grid Generation Methods
پدیدآورنده : by Vladimir Liseikin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science.,Engineering mathematics.,Physics.
70. Handbook of Control Systems Engineering
پدیدآورنده : by Louis C. Westphal.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer science.,Mathematics.,Mechanical engineering.,Systems theory.
71. Handbook of Digital Games and Entertainment Technologies
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering,User interfaces (Computer systems) ,Computer science -- Mathematics,مهندسی,رابط نرم‌افزاری,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
72. High-Order Methods for Computational Physics
پدیدآورنده : edited by Timothy J. Barth, Herman Deconinck.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Engineering.,Mathematical physics.,Mathematics.,Physics.
73. High-Performance Computing Using FPGA
پدیدآورنده : / edited by Wim Vanderbauwhede, Khaled Benkrid
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Engineering,Computer science,Mathematics,Systems engineering,Electronic books
رده :
E-BOOK
74. High Performance Computing in Science and Engineering '99
پدیدآورنده : edited by Egon Krause, Willi Jäger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry.,Computer science-- Mathematics.,Computer simulation.,Engineering.,Mathematical physics.,Mathematics.,Physics.
75. High Performance Computing in Science and Engineering, Munich 2004 :
پدیدآورنده : edited by Siegfried Wagner, Werner Hanke, Arndt Bode, Franz Durst.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Electronic data processing.,Engineering.
رده :
QA76
.
88
E358
2005
76. Human-Computer Systems Interactio
پدیدآورنده : / edited by Zdzis�aw S. Hippe, Juliusz L. Kulikowski
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Engineering.,Computer science.,Artificial intelligence.,Engineering mathematics.
رده :
TA
,
329-348
TA
,
640-643
77. IUTAM/IACM/IABEM Symposium on Advanced Mathematical and Computational Mechanics Aspects of the Boundary Element Method
پدیدآورنده : edited by Tadeusz Burczynski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Engineering mathematics.,Engineering.,Mathematics.,Mechanics.
78. Ingenieurmathematik kompakt - Problemlösungen mit MATLAB :
پدیدآورنده : von Hans Benker.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Engineering mathematics.,Engineering.
رده :
TA345
.
V664
2010
79. Insight through computing :
پدیدآورنده : Charles F. Van Loan, K.-Y. Daisy Fan
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : MATLAB,Engineering mathematics-- Data processing,Numerical analysis-- Data processing,Science-- Computer simulation
80. Integral and Diagnostic Intrusive Prediction of Speech Quality
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Computer science. ; Mathematics. ; Telecommunication. ; Engineering. ; Signal, Image and Speech Processing. ; User Interfaces and Human Computer Interaction. ; Communications Engineering, Networks. ; Information and Communication, Circuits.
